Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B
نویسندگان
چکیده
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
منابع مشابه
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A
We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in [HT].
متن کامل. L O ] 1 5 Fe b 19 92 CONSTRUCTING STRONGLY EQUIVALENT NONISOMORPHIC MODELS FOR UNSUPERSTABLE
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
In this paper we prove a strong nonstructure theorem for κ(T )-saturated models of a stable theory T with dop. This paper continues the work started in [HT].
متن کاملA nonstructure theorem for countable, stable, unsuperstable theories
A trichotomy theorem for countable, stable, unsuperstable theories is proved. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
متن کاملWhy There Are Many Nonisomorphic Models for Unsuperstable Theories
This was mentioned in [S4], and in fact in [S2]. We shall first sketch the proof and then point out some applications of the theorem and the method. We generalize the notion of indiscernibility used in Ehrenfeucht-Mostowski models (from [EM]). Let I be an (index) model, M EL model and, for each sel,äs is a (finite) sequence from M. For s = , s(l) e 7,let ä-s = äs{Q) A ••• A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 60 شماره
صفحات -
تاریخ انتشار 1995